Nuprl Definition : ecl-trans-state
11,40
postcript
pdf
ecl-trans-state(
v
;
L
) == ecl-trans-state-from(
v
; ecl-trans-init(
v
);
L
)
latex
Definitions
ecl-trans-state(
v
;
L
)
,
ecl-trans-state-from(
v
;
z
;
L
)
,
ecl-trans-init(
v
)
FDL editor aliases
ecl-trans-state
origin